module;
#include <list>
#include <algorithm>
#include <future>
#include <type_traits>

export module Code_4_4_1_3;


//template<typename F, typename A>
//std::future<std::result_of<F(A&&)>::type>
//spawn_task(F&& f, A&& a)
//{
//    typedef std::result_of<F(A&&)>::type result_type;
//    std::packaged_task<result_type(A&&)>
//        task(std::move(f));
//    std::future<result_type> res(task.get_future());
//    std::thread t(std::move(task), std::move(a));
//    t.detach();
//    return res;
//}



export
namespace Code_4_4_1_3 {

    void run_thread()
    {

    }
}
